G. Boolos, "A new proof of the Godel incompleteness theorem"
George S. Boolos
Boolosの不完全性定理
についての論文.